posterior detection function

后验验测函数